y=ln(cotx) differentiated